quasifiltered category

拟滤子化范畴